(0 20 13)(1 19 10)(2 18 4)(3 9 5)(6 14 11)(7 16 8)(12 17 15)
ALLOWS (11/8)-SEQUENCE
1: (0 3 13)
(0)(1 19 10)(2 18 4)(3 20 13 9 5)(6 14 11)(7 16 8)(12 17 15)
2: (1 19 10)
(0)(1)(2 18 4)(3 20 13 9 5)(6 14 11)(7 16 8)(10)(12 17 15)(19)
3: (2 18 4)
(0)(1)(2)(3 20 13 9 5)(4)(6 14 11)(7 16 8)(10)(12 17 15)(18)(19)
4: (9 20 13)
(0)(1)(2)(3 20 5)(4)(6 14 11)(7 16 8)(9)(10)(12 17 15)(13)(18)(19)